Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
401	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
402	LANGE AND LAWS, KINDS, AND COUNTERFACTUALS Forthcoming in Topics in Contemporary Philosophy volume 8: Carving Nature at its Joints (ed. Matthew Slater) Alexander Bird Abstract Add to Reading List Source URL: eis.bris.ac.uk Language: English - Date: 2010-09-07 09:09:58 Determinacy Modal logic Fundamental frequency Logic Non-classical logic Mathematical analysis
403	Microsoft Word - Gironde.doc Add to Reading List Source URL: metaphysica.de Language: English - Date: 2006-02-07 06:53:17 Non-classical logic Philosophical logic Philosophy Modal logic Abstract object Object Ontology Logic Metaphysics
404	Standard State-Space Models Preclude Unawareness Add to Reading List Source URL: faculty.wcas.northwestern.edu Language: English - Date: 2011-10-02 12:50:54 Philosophical logic Modal logic Non-classical logic Kripke semantics Introspection Epistemology FO Axiom Logic Mathematical logic Mathematics
405	Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro Add to Reading List Source URL: idsi.md Language: English - Date: 2014-10-08 08:39:39 Non-classical logic Modal logic Philosophical logic Proof theory Provability logic Intuitionistic logic Interpretation Boolean function Boolean algebra Logic Mathematical logic Model theory
406	Probabilistic Programming Andrew D. Gordon Thomas A. Henzinger Aditya V. Nori Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-02-03 11:01:04 Probability and statistics Markov models Non-classical logic Probabilistic logic Markov chain Bayesian network Bernoulli distribution Graphical model Probability distribution Statistics Bayesian statistics Statistical models
407	The Even More Irresistible SROIQ Ian Horrocks, Oliver Kutz, and Ulrike Sattler School of Computer Science, The University of Manchester, Kilburn Building, Oxford Road, Manchester, M13 9PL, UK. {Horrocks, Kutz, Sattler}@c Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-12-14 14:49:54 Ontology Non-classical logic Tbox Philosophical logic Algebraic structures Modal logic Description logic Abox Binary relation Mathematics Logic Mathematical logic
408	us v. Morton Sobell 14, 1950 Add to Reading List Source URL: media.nara.gov Language: English - Date: 2012-03-21 14:18:30 Modal logic 9 Non-classical logic Max Elitcher Morton Sobell
409	A Language for Legal Discourse I. Basic Features L. Thorne McCarty Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2003-10-01 21:36:09 Proof theory Intuitionistic logic Logic programming Negation Prolog Mathematical proof Modal logic First-order logic Sequent Logic Mathematical logic Non-classical logic
410	FUZZY DATA MINING AND GENETIC ALGORITHMS APPLIED TO INTRUSION DETECTION Susan M. Bridges [removed] Rayford B. Vaughn Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2000-11-03 00:00:00 Statistics Fuzzy logic Non-classical logic Mathematics Intrusion detection system Anomaly detection Genetic fuzzy systems Fuzzy control system Artificial intelligence Logic Logic in computer science

UPDATE